Functional programming - PDFSEARCH.IO - Document Search Engine

Functional programming
Results: 3706

#	Item
281	02157 Functional Programming - Sequences Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 17:31:17 Software engineering Computer programming Programming language theory Functional languages Lazy evaluation Functional programming Evaluation strategy Technical University of Denmark Haskell Closure Q
282	Project No : FP7Project Acronym: Add to Reading List Source URL: envisage-project.eu Language: English - Date: 2015-10-04 09:25:43 Software engineering Computing Computer programming Cross-platform software Concurrent programming languages Object-oriented programming languages Procedural programming languages Functional languages Haskell Java Go D
283	Hoogλe Finding Functions from Types Neil Mitchell haskell.org/hoogle community.haskell.org/~ndm/ Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computing Computer programming Data types Functional languages Primitive types Functional programming Edit distance String Haskell Id Boolean data type
284	Towards Semantics-Based Partial Evaluation of Imperative Programs Julio C. Peralta April 1997 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Computer programming Programming paradigms Theoretical computer science Constraint logic programming Prolog Programming language Partial evaluation Functional programming Constraint programming Abstract interpretation Logic programming
285	How to make ad-hoc polymorphism less ad hoc Philip Wadler and Stephen Blott University of Glasgow OctoberAbstract Add to Reading List Source URL: 202.3.77.10 Language: English - Date: 2016-05-28 06:05:21 Software engineering Computer programming Programming language theory Type theory Data types Functional programming Functional languages Procedural programming languages Type class Standard ML Parametric polymorphism Relational operator
286	Faster Haskell Neil Mitchell www.cs.york.ac.uk/~ndm The Goal • Make Haskell “faster” Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Higher-order functions Programming language comparisons Functional languages Haskell Literate programming Fold Map Inline expansion Write
287	The FLaSH Project Resource-Aware Synthesis of Declarative Specifications Alan Mycroft1,2 and Richard Sharp2 1 Computer Laboratory, Cambridge University Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:01 Software engineering Computer programming Computing Subroutines Functional languages Programming language implementation Procedural programming languages Recursion Standard ML Compiler Inline expansion ML
288	PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama Add to Reading List Source URL: src.acm.org Language: English - Date: 2016-06-08 14:54:18 Software engineering Declarative programming Computer programming Functional programming Theoretical computer science Data types Type theory Computability theory Lambda calculus Recursion Algebraic data type Anonymous function
289	N2O N O B ULLSHIT S ANE F RAMEWORK FOR W ILD W EB N2O: Add to Reading List Source URL: synrc.com Language: English - Date: 2016-08-16 14:57:32 Software engineering Computing Computer programming Functional languages Programming languages Cross-platform software Ericsson Erlang LFE JavaScript JSON Web framework
290	Oh Lord, Please Don’t Let Contracts Be Misunderstood (Functional Pearl) Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen PLT, USA {chrdimo,maxsnew,robby,matthias}@racket-lang.org Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2016-08-09 10:09:16 Software engineering Computer programming Programming language theory Object-oriented programming languages Combinatory logic Enumerated type Contract Objective-C Scope Eiffel Racket

UPDATE